J - PDFSEARCH.IO - Document Search Engine

J
Results: 175847

#	Item
131	Se urity Estimates for Quadrati Field Based Cryptosystems Jean-Fran ois Biasse1 , Mi hael J. Ja obson, Jr.2 ? , and Alan K. Silvester3 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-09-02 14:57:05 Mathematics Logarithms Mathematical analysis Discrete mathematics Binary logarithm 108 Factorial Prime number Common logarithm P
132	Montreal, February 6, 2018 The Honourable Carlos J. Leitão Minister of Finance Ministère des Finances du Québec 12, rue Saint-Louis 1er étage Add to Reading List Source URL: www.acpm.com Language: English - Date: 2018-02-09 09:03:40 Economy Money Finance Pensions Defined benefit pension plan Defined contribution plan
133	TRADITION SEF, Inc. Scot J. Halvorsen Senior Regulatory Counsel and Secretary Legal Department Add to Reading List Source URL: www.traditionsef.com Language: English - Date: 2018-06-02 04:26:53 Systemic risk SEF Commodity Futures Trading Commission Securities Exchange Act Finance Regulatory compliance Credit default swap Economy CDX Swap Execution Facility
134	Boase, J., & Kobayashi, TMobile communication networks in Japan and America. China Media Research, 8(4), China Media Research, 8(4), Published version available online at: http://www.chinamediares Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2017-09-21 13:37:53 Technology Electronics Information and communications technology Information appliances Microsoft Kin Verizon Wireless Interpersonal ties Kin Mobile phone Mobile telephony Text messaging Smartphone
135	brennan center for justice Reducing Racial and E t h n i c D i s pa r i t i e s I n J a i l s Add to Reading List Source URL: www.brennancenter.org Language: English - Date: 2015-06-24 23:50:13 Incarceration in the United States Criminal justice Brennan Center for Justice Politics of the United States United States
136	Exploiting sparsity in difference-bound matrices Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Abstract algebra Mathematical analysis Graph Graph theory Partial derivative Valuation Representation Voltage graph operator
137	BreakApp: Automated, Flexible Application Compartmentalization Nikos Vasilakis, Ben Karel, Nick Roessler, Nathan Dautenhahn, Andr´e DeHon, Jonathan M. Smith University of Pennsylvania {nvas, karel, nroess, ndd, andre, j Add to Reading List Source URL: nikos.vasilak.is Language: English - Date: 2018-01-30 12:35:40 Software engineering Computing Computer programming Cross-platform software High-level programming languages Scripting languages Functional languages Programming languages Loadable kernel module Coupling Modular programming Kernel
138	Modular Refinement for Submachines of ASMs ? Gidon Ernst, J¨ org Pf¨ Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:47:24 Formal methods Theoretical computer science Models of computation Abstract state machines Predicate transformer semantics NC 120-cell File locking
139	JASDKFJ ;ASLKDJF JASKDFJ LAKSJFD J KASDJL KLSJDKF AKLJDKF ALSKDJF ALSKDJF ASKDLFJKAS LFKASJD FJKDL ASKDJF Add to Reading List Source URL: www.temenos.com Language: English - Date: 2018-10-17 11:29:39 Economy Accounting Profit Business Financial regulation International Financial Reporting Standards Net income Financial result International Accounting Standards Board
140	Analyzing array manipulating programs by program transformation J. Robert M. Cornish1 , Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1, and Peter J. Stuckey1 1 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Array data structure Variable Dimensional analysis Computing Mathematics Engineering Jet bundle